программа логических выводов

См. также в других словарях:

• логические исследования в россии и ссср —         ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ В РОССИИ И СССР развитое направление научных исследований, результаты которого получают международное признание. Оно стало интенсивно развиваться несколько позже, чем в Европе и США. С 10 в., когда на Руси… …   Энциклопедия эпистемологии и философии науки

• Логическая мысль —    Л. м. в России стала интенсивно развиваться несколько позже, чем на Западе, дав тем не менее образцы новаторства во мн. сферах логики. С X в., когда на Руси появились соч., содержащие логические знания (перевод 1 й ч. Источника знания Иоанна… …   Русская Философия. Энциклопедия

• Философия науки — Имеется викиучебник по теме «Философия науки» Философия науки  раздел философии, изучающий понятие, границы и …   Википедия

• ФОРМАЛИЗМ — направление в эстетике, искусстве, литературе, акцентирующее значение формы в ущерб содержанию или даже при полном забвении последнего; в этике термин, обозначающий всякую этическую теорию, которая, подобно этике И. Канта, кладет в основу своих… …   Философская энциклопедия

• формализм —         ФОРМАЛИЗМ одно из трех главных направлений в основаниях математики наряду с интуиционизмом и логицизмом. Основоположником Ф. является Д. Гильберт, который поставил триединую задачу обоснования математики, известную как программа Гильберта …   Энциклопедия эпистемологии и философии науки

• введение в науки о духе —         «ВВЕДЕНИЕ В НАУКИ О ДУХЕ» фундаментальный философско методологический труд Вильгельма Дильтея. (Dilthey W. Einleitung in die Geisteswissenschaften. Leipzig, 1883; рус. пер.: Дильтей В. Введение в науки о духе. Опыт полагания основ для… …   Энциклопедия эпистемологии и философии науки

• ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

• КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия

• ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

• логика —         ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… …   Энциклопедия эпистемологии и философии науки

• КАРНАП — (Саrnар) Рудольф (1891 1970) аналитический философ и логик, один из лидеров Венского кружка, ведущий представитель логического позитивизма. Приват доцент Венского (1926 1931), проф. Германского (Прага, 1931 1935) ун тов; после эмиграции в США… …   Философская энциклопедия